relation proof